AUTOMATED SOFTWARE DISTRIBUTION
نویسندگان
چکیده
منابع مشابه
Automated Software Inspection
uality is an elusive goal throughout the software development industry. The common assumption is that there simply is no efficient way to improve quality without significantly lengthening the development cycle, increasing development costs, or both. Releasing quality software on schedule and on budget is almost impossible. Ever-shorter development cycles, limited engineering and QA resources, a...
متن کاملAutomated quantitative software verification
Many software systems exhibit probabilistic behaviour, either added explicitly, to improve performance or to break symmetry, or implicitly, through interaction with unreliable networks or faulty hardware. When employed in safety-critical applications, it is important to rigorously analyse the behaviour of these systems. This can be done with a formal verification technique called model checking...
متن کاملAutomated Incremental Software Verification
Software continuously evolves to meet rapidly changing human needs. Each evolved transformation of a program is expected to preserve important correctness and security properties. Aiming to assure program correctness after a change, formal verification techniques, such as Software Model Checking, have recently benefited from fully automated solutions based on symbolic reasoning and abstraction....
متن کاملAutomated Software Warehouse Management
This paper proposes a knowledge-based approach to manage software warehouses. It is understood that knowledge acquisition is the bottleneck for intelligent systems of all kinds. Our research focuses on solutions for both theoretical and practical aspects of the bottleneck tasks through the proposed mechanisms of randomization, symbolic representation, and grammatical inference. Key-Words: Knowl...
متن کاملAn Automated Software FMEA
The concept of software failure mode and effects analysis (FMEA) has grown in attractiveness over recent years as a way of assessing the reliability of software. Like its hardware counterpart, software FMEA is immensely tedious for an engineer to perform, as well as being error-prone. This paper presents the implementation of a novel method for automating code-level software FMEA based on treat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The South African Journal of Industrial Engineering
سال: 2012
ISSN: 2224-7890,1012-277X
DOI: 10.7166/9-1-387